-
1 unit paramodulation
Большой англо-русский и русско-английский словарь > unit paramodulation
-
2 unit paramodulation
Математика: единичная парамодуляция -
3 unit paramodulation
-
4 единичная парамодуляция
Большой англо-русский и русско-английский словарь > единичная парамодуляция
См. также в других словарях:
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia